Sends($M$)($k$,$v$,$s$,$l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$m$.mlnk($m$) = $l$;$M$.sends($k$,$s$,$v$))